Status Report Insurance Institute for Highway Safety | Highway Loss Data Institute Tough test

Source URL: www.iihs.org

• Transport
• Pickup trucks
• Land transport
• Types of insurance
• Insurance Institute for Highway Safety
• Crash test
• Ram Pickup
• Toyota Tundra
• Insurance
• Vehicle insurance
• Ford F-Series
• Nationwide Mutual Insurance Company

  Surging Seas Risk Finder Excel Data Download Guide  Within the current Surging Seas Risk Finder website there are 5 types of excel files that can be  downloaded by users.    Downloads a

Source URL: sealevel.climatecentral.org

Hand-Writing Program Generator Generators Lars Birkedal & Morten Welinder DIKU, Department of Computer Science University of Copenhagen DK–2100 Copenhagen Ø, Denmark e-mail: &

Source URL: repository.readscheme.org

• Software engineering
• Computer programming
• Computing
• Procedural programming languages
• Functional languages
• Programming language implementation
• Data types
• Compiler construction
• Standard ML
• Interpreter
• Compiler-compiler
• Type system

02157 Functional Programming - Tagged values and Higher-order list functions

Source URL: www.imm.dtu.dk

• Software engineering
• Computer programming
• Programming language theory
• Data types
• Subroutines
• Functional programming
• Type theory
• Procedural programming languages
• Higher-order function
• Option type
• ALGOL 68
• Technical University of Denmark

Chapter 5 Optimizing Program Performance The biggest speedup you’ll ever get with a program will be when you first get it working. John K. Ousterhout The primary objective in writing a program must be to make it work

Source URL: csapp.cs.cmu.edu

• Software engineering
• Computing
• Compiler optimizations
• Software
• Compiler construction
• Programming language implementation
• Program analysis
• Data types
• Optimizing compiler
• Program optimization
• Compiler
• Loop unrolling

How To Have Your Cake and Eat It, Too: Self-Applicable Online Partial Evaluation Michael Sperber Wilhelm-Schickard-Institut f
ur Informatik Universit
at T
ubingen Sand 13, DT
ubingen, Germany

Source URL: repository.readscheme.org

• Software engineering
• Computing
• Computer programming
• Subroutines
• Data types
• Type theory
• Object-oriented programming languages
• Functional languages
• Partial evaluation
• Scala
• Recursion
• Memoization

Combining Programming with Theorem Proving Chiyan Chen and

Source URL: www.cs.bu.edu

• Software engineering
• Computer programming
• Computing
• Functional languages
• Type theory
• Data types
• Procedural programming languages
• ATS
• Object-oriented programming
• ML
• Polymorphism
• OCaml

Monitors and Blame Assignment for Higher-Order Session Types Limin Jia Hannah Gommerstadt

Source URL: www.andrew.cmu.edu

• Abstract data types
• Computing
• Software engineering
• Process calculi
• Inter-process communication
• Message queue
• Monitor
• Economy
• Queueing theory
• Priority queue
• Queue
• -calculus

Technical Report TTIC-TRMay 2009 CEAL: A C-Based Language for Self-Adjusting Computation

Source URL: www.mpi-sws.org

• Software engineering
• Computer programming
• Computing
• Functional languages
• Data types
• Functional programming
• Subroutines
• Procedural programming languages
• Eval
• Standard ML
• Const
• Continuation-passing style

Railway English version – SOSI standard 4.0 Railway English version – SOSI standard 4.0

Source URL: www.kartverket.no

• Software engineering
• Data types
• Computing
• Object-oriented programming
• Type theory
• Const
• Object
• Identifier
• Subtyping
• Pointing stick